int faraway_function(int);
